iterative deepening depth-first search